MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 16-Dec-96 23:13:15 GMT
Content-Type: text/html
Content-Length: 8041
Last-Modified: Monday, 06-May-96 22:59:28 GMT

<html>
<title>CS212 S96 Index</title>
<body>

<h1>
<!WA0><!WA0><!WA0><!WA0><img align=right vspace=0 hspace=5
src="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS212/CS212_icon.gif">
CS212<br>
Structure and Interpreration<br>
of Computer Programs</h1>
<h3>
Computer Science Department<br>
Cornell University<br>
Spring 1996</h3>
 
<hr>
<H1>Course Materials</H1>
<hr>

<H2>Downloadable Software</H2>

<UL>
<LI>
<!WA1><!WA1><!WA1><!WA1><A HREF="ftp://ftp.cs.cornell.edu/pub/cs212/Marlais.sit.bin">
MacMarlais 0.57</A> in StuffIt format<br>

<LI>
<!WA2><!WA2><!WA2><!WA2><A HREF="ftp://ftp.cs.cornell.edu/pub/cs212/Emacs.sit.bin">Emacs</A>,
the editor for use with MacMarlais, version 1.17, in StuffIt format.

<LI>
<!WA3><!WA3><!WA3><!WA3><A HREF="ftp://ftp.cit.cornell.edu/pub/mac/util/stuffit-expander-351.bin">
StuffIt Expander</A> software, which you'll need to decompress Marlais and
Emacs.

</UL>

<P>

<hr>

<h2> Handouts </h2>
<ul>
<LI><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/01-notes-on-dylan.html">Notes on Dylan</A>
<LI><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/02-programming-style.html">Notes on Programming Style </A>
<LI><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/errors.html">MacMarlais error descriptions</A>
<li><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/03-quiz-1.html">Miniquiz #1</a>
<br><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/11-quiz-1-solns.html">Miniquiz #1 Solutions</a>
<li><!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/04-cheat-sheet.html">Dylan cheatsheet</a> 
<li><!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/05-downloading.html">Downloading files using Netscape</a>
<li><!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/06-using-emacs.html">Using the Emacs editor</a>
<li><!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/07-using-marlais.html">Using MacMarlais</a>
<li><!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/08-using-debugger.html">Using the debugger</a>
<li><!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/09-printing.html">Printing</a>
<li><!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/10-substitution-model.html">The Substitution Model</a>
<li><!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/emacs-refcard.html">Emacs Reference Card</a>
<li><!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/12-quiz-2.html">Miniquiz #2</a>
<li><!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/13-induction.html">Induction</a>
<li><!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/14-lists.html">Lists</a>
<li><!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/15-quiz-2-solns.html">Miniquiz #2 Solutions</a>
<li><!WA21><!WA21><!WA21><!WA21><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/16-quiz-3.html">Miniquiz #3</a>
<li><!WA22><!WA22><!WA22><!WA22><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/17-Sym-Diff.dyl">Symbolic Differentiator</a> (Dylan 
Code)
<li><!WA23><!WA23><!WA23><!WA23><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/18-abstract.html">Data Abstraction</a>
<li><!WA24><!WA24><!WA24><!WA24><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/19-quiz-3-solns.html">Miniquiz #3 Solutions</a>
<li><!WA25><!WA25><!WA25><!WA25><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/20-generic.dyl">Generics</a> (Dylan Code)
<li><!WA26><!WA26><!WA26><!WA26><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/21-structural-induction.html">Structural Induction</a>
<li><!WA27><!WA27><!WA27><!WA27><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/22-objects.html">Object Oriented Programming</a>
<li><!WA28><!WA28><!WA28><!WA28><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/23-sort.dyl">Sorting</a> (Dylan Code)
<li><!WA29><!WA29><!WA29><!WA29><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/24-environments.html">The Enviroment Model</a>
<li><!WA30><!WA30><!WA30><!WA30><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/25-order.html">Reasoning about Resources</a>
<li><!WA31><!WA31><!WA31><!WA31><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/26-quiz-4.html">Miniquiz #4</a>
<li><!WA32><!WA32><!WA32><!WA32><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/27-quiz-4-solns.html">Miniquiz #4 Solutions</a>
<li><!WA33><!WA33><!WA33><!WA33><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/28-prioq.dyl">Priority Queues</a> (Code)
<li><!WA34><!WA34><!WA34><!WA34><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/29-prioq.html">Priority Queues</a>
</ul>

<hr>
<p>
<h3>Prelim Info</h3>

Prelim 1 will be Thursday, March 7, from 7:30 to 9:00.
<p>
<!WA35><!WA35><!WA35><!WA35><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/prelim1.ps">Practice Prelim 1</a>, in PostScript format.
<br>
<!WA36><!WA36><!WA36><!WA36><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/prelim1.tex">Practice Prelim 1</a>, in TeX format.
<br>
<!WA37><!WA37><!WA37><!WA37><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/prelim1.html">Practice Prelim 1</a>, in WWW (html) format.
<p>
<!WA38><!WA38><!WA38><!WA38><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/p1soln.tex">Practice Prelim 1 Solutions</a>, in TeX format.
<br>
<!WA39><!WA39><!WA39><!WA39><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/p1soln.ps">Practice Prelim 1 Solutions</a>, in PostScript format.
<br>
<!WA40><!WA40><!WA40><!WA40><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/p1soln.html">Practice Prelim 1 Solutions</a> in WWW (html) format.
<p>
<!WA41><!WA41><!WA41><!WA41><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/prelim2.ps">Practice Prelim 2</a>, in PostScript format.
<br>
<!WA42><!WA42><!WA42><!WA42><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/prelim2.tex">Practice Prelim 2</a>, in TeX format.
<br>
<!WA43><!WA43><!WA43><!WA43><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/prelim2.html">Practice Prelim 2</a>, in WWW (html) format.
<p>
<!WA44><!WA44><!WA44><!WA44><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Handouts/final.html">Final Exam Study Guide</a>, in WWW format.
<p>
<hr>
<p>
If you're interested in the inner workings of the Dylan interpreter, 
<!WA45><!WA45><!WA45><!WA45><a href="ftp://ftp.cs.cornell.edu/pub/voskuhl/Tiny-Dylan.sit.bin">
download</a> a "mini" version written by Justin 
Voskuhl.  It's written in Pascal, so you can look at the source code.
It can display the substitution model eval/apply steps for the
expressions it evaluates as well, which may be useful to some
students for prelim 1.
<p>
<hr>

<h2> Problem Sets </h2>

<ul>
<li><!WA46><!WA46><!WA46><!WA46><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps1.html">Problem Set 1</a>
<li><!WA47><!WA47><!WA47><!WA47><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps2.html">Problem Set 2</a>
<li><!WA48><!WA48><!WA48><!WA48><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps3.html">Problem Set 3</a>
<ul>
<li><!WA49><!WA49><!WA49><!WA49><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps3-supplement.html">Supplement to PS 3</a>
</ul>
<li><!WA50><!WA50><!WA50><!WA50><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps4.html">Problem Set 4</A>
<li><!WA51><!WA51><!WA51><!WA51><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps5.html">Problem Set 5</A>
<li><!WA52><!WA52><!WA52><!WA52><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps6.html">Problem Set 6</A>
</ul>

<h2>Problem Set Source Code</h2>
<ul>
<li><!WA53><!WA53><!WA53><!WA53><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps1.dyl">ps1.dyl</A>
<li><!WA54><!WA54><!WA54><!WA54><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps2.dyl">ps2.dyl</a>
<li><!WA55><!WA55><!WA55><!WA55><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps3.dyl">ps3.dyl</a>
<li><!WA56><!WA56><!WA56><!WA56><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps4.dyl">ps4.dyl</A>
<li><!WA57><!WA57><!WA57><!WA57><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps5.dyl">ps5.dyl</A>
<li>PS6 Code:
<ul>
<li><!WA58><!WA58><!WA58><!WA58><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/brenda.dyl">brenda.dyl</A>
<li><!WA59><!WA59><!WA59><!WA59><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/classes.dyl">classes.dyl</A>
<li><!WA60><!WA60><!WA60><!WA60><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/frames.dyl">frames.dyl</A>
<li><!WA61><!WA61><!WA61><!WA61><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/garbage.dyl">garbage.dyl</A>
<li><!WA62><!WA62><!WA62><!WA62><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/load.dyl">load.dyl</A>
<li><!WA63><!WA63><!WA63><!WA63><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/primitives.dyl">primitives.dyl</A>
<li><!WA64><!WA64><!WA64><!WA64><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/special-forms.dyl">special-forms.dyl</A>
<li><!WA65><!WA65><!WA65><!WA65><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/utilities.dyl">utilities.dyl</A>
</ul>
</ul>
<p>
<hr>
<h4>Star Trek Contest Winners</h4>
<ul>
<li><!WA66><!WA66><!WA66><!WA66><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps5-oberlin.dyl">Dan Oberlin</a>
<li><!WA67><!WA67><!WA67><!WA67><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps5-bartholow.dyl">David Bartholow</a>
<li><!WA68><!WA68><!WA68><!WA68><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/PSets/ps5-welch-lee.dyl">Sean Welch / Joe Lee</a>
</ul>
<p>
<hr>
<h2>Lecture Notes</h2>
<ul>
<li><!WA69><!WA69><!WA69><!WA69><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l01-introduction.text">Lecture 
1 (1/23/96): Introduction</a>
<li><!WA70><!WA70><!WA70><!WA70><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l02-dylan.text">Lecture 2 (1/25/96):
Dylan</a>
<li><!WA71><!WA71><!WA71><!WA71><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l03-subst-higher-order.text">Lecture 3 (1/30/96): The 
Substitution Model and Higher Order Procedures
<li><!WA72><!WA72><!WA72><!WA72><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l04-special-forms.text">Lecture 4 (2/1/96): Special 
Forms</a>
<li><!WA73><!WA73><!WA73><!WA73><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l05-lists.text">Lecture 5 (2/6/96): Lists</a>
<li><!WA74><!WA74><!WA74><!WA74><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l06-tail-recursion.text">Lecture 6 (2/8/96): Tail 
Recursion</a>
<li><!WA75><!WA75><!WA75><!WA75><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l07-data-abstraction.text">Lecture 7 (2/13/96): Data 
Abstraction</a>
<li><!WA76><!WA76><!WA76><!WA76><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l08-sym-diff.text">Lecture 8 (2/15/96): Symbolic 
Differentiator</a>
<li><!WA77><!WA77><!WA77><!WA77><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l09-generic-functions.text">Lecture 9 (2/20/96): 
Generic Functions</a>
<li><!WA78><!WA78><!WA78><!WA78><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l10-generic-operations.text">Lecture 10 (2/22/96): 
Generic Operations</a>
<li><!WA79><!WA79><!WA79><!WA79><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l11-analysis.text">Lecture 11 (2/27/96): Analysis of 
Algorithms</a>
<li><!WA80><!WA80><!WA80><!WA80><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l12-side-effects.text">Lecture 12 (2/29/96): 
Side Effects</a>
<li><!WA81><!WA81><!WA81><!WA81><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l13-environment-model.text">Lecture 13 (3/5/96): 
The Environment Model</a>
<li><!WA82><!WA82><!WA82><!WA82><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l14-local-state.text">Lecture 14 (3/7/96): 
Local State</a>
<li><!WA83><!WA83><!WA83><!WA83><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l15-destructive-lists.text">Lecture 15 (3/12/96): 
Destructive List Operations</a>
<li><!WA84><!WA84><!WA84><!WA84><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l16-oop.text">Lecture 16 (3/14/96): 
Object Oriented Programming</a>
<li><!WA85><!WA85><!WA85><!WA85><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l17-brenda.text">Lecture 17 (3/26/96): A New Language; 
Brenda</a>
<li><!WA86><!WA86><!WA86><!WA86><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l18-more-brenda.text">Lecture 18 (3/28/96): More 
Brenda</a>
<li><!WA87><!WA87><!WA87><!WA87><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l19-generic-dispatch.text">Lecture 19 (4/2/96): 
Generic Function Dispatch</a>
<li><!WA88><!WA88><!WA88><!WA88><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l20-more-generic-dispatch.text">Lecture 20 (4/4/96): 
More About Generic Dispatch</a>
<li><!WA89><!WA89><!WA89><!WA89><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l21-garbage-collection.text">Lecture 21 (4/9/96): 
Garbage Collection</a>
<li><!WA90><!WA90><!WA90><!WA90><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l22-macros.text">Lecture 22 (4/11/96): Macros</a>
<li><!WA91><!WA91><!WA91><!WA91><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l23-streams.text">Lecture 23 (4/16/96): Streams</a>
<li><!WA92><!WA92><!WA92><!WA92><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l24-infinite-streams.text">Lecture 24 (4/18/96): 
Infinite Streams</a>
<li><!WA93><!WA93><!WA93><!WA93><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l25-quicksort.text">Lecture 25 (4/23/96): Quicksort</a>
<li><!WA94><!WA94><!WA94><!WA94><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l26-prioq.text">Lecture 26 (4/25/96): Priority Queues</a>
<li><!WA95><!WA95><!WA95><!WA95><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Materials/Notes/l27-computability.text">Lecture 27 (4/30/96):
Computability</a>
</ul>

<hr>

<!WA96><!WA96><!WA96><!WA96><img align=top src="http://www.cs.cornell.edu/Info/Misc/images/hand_point1.gif">
<!WA97><!WA97><!WA97><!WA97><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/CS212.html">
CS212 home page</a>

<hr>

</body>
<address>
Last Modified 4/9/96 19:14 by JEH
</address>
</html>
